1 /*
2 ContractChecker
3
4 Copyright (C) 2003 Jose San Leandro Armend?riz
5 jsanleandro@yahoo.es
6 chousz@yahoo.com
7
8 This library is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public
10 License as published by the Free Software Foundation; either
11 version 2 of the License, or (at your option) any later version.
12
13 This library is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 Lesser General Public License for more details.
17
18 You should have received a copy of the GNU General Public
19 License along with this library; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21
22 Thanks to ACM S.L. for distributing this library under the GPL license.
23 Contact info: jsr000@terra.es
24 Postal Address: c/Playa de Lagoa, 1
25 Urb. Valdecaba?as
26 Boadilla del monte
27 28660 Madrid
28 Spain
29
30 ******************************************************************************
31 *
32 * Filename: $RCSfile: DummyClass.java,v $
33 *
34 * Author: Jose San Leandro Armend?riz
35 *
36 * Description: Dummy class to test ContractChecker.
37 *
38 * Last modified by: $Author: chous $ at $Date: 2003/12/23 08:53:18 $
39 *
40 * File version: $Revision: 1.1 $
41 *
42 * Project version: $Name: $
43 *
44 * $Id: DummyClass.java,v 1.1 2003/12/23 08:53:18 chous Exp $
45 *
46 */
47 package functionaltests.org.acmsl.contractchecker;
48
49 /***
50 * Dummy class to test ContractChecker.
51 * @author <a href="mailto:jsanleandro@yahoo.es">Jose San Leandro</a>
52 * @version $Revision: 1.1 $
53 */
54 public class DummyClass
55 {
56 /***
57 * Concatenates two strings.
58 * @param text the text.
59 * @param object the object.
60 * @return text + object.
61 * @precondition text != null
62 * @precondition object != null
63 */
64 public String concatenate(String text, Object object)
65 throws IllegalArgumentException
66 {
67 return text + object;
68 }
69 }
This page was automatically generated by Maven